invariant continuation

不变延拓